Implication Graph
SATソルバにおいて，各代入がどのように(他のどの代入から決められたのか)を示すグラフ
性質
DAG である